TSTP Solution File: DAT190^1 by SInE---0.4